Order:
  1.  30
    Some restrictions on simple fixed points of the integers.G. L. McColm - 1989 - Journal of Symbolic Logic 54 (4):1324-1345.
    A function is recursive (in given operations) if its values are computed explicitly and uniformly in terms of other "previously computed" values of itself and (perhaps) other "simultaneously computed" recursive functions. Here, "explicitly" includes definition by cases. We investigate those recursive functions on the structure $\mathbf{N} = \langle \omega, 0, \operatorname{succ,pred}\rangle$ that are computed in terms of themselves only, without other simultaneously computed recursive functions.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  20
    Ebbinghaus Heinz-Dieter and Jörg Flum. Finite model theory. Perspectives in mathematical logic. Springer, Berlin, Heidelberg, New York, etc., 1995, xv + 327 pp. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  3.  19
    Review: Heinz-Dieter Ebbinghaus, Jorg Flum, Finite Model Theory. [REVIEW]G. L. McColm - 1996 - Journal of Symbolic Logic 61 (3):1049-1050.